Decidability and undecidability results for duration calculus Zhu2006] Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan p bowen, Integrating Probability with Time and Shared-Variable Concurrency, In Proceedings of the 30th Annual ieee/nasa software Engineering Workshop, sew-30, pp: 179-189, 2006 50.89 Kb. 1
Survey of manet based on Routing Protocols Manet is wireless Ad-hoc network. Manet routes data on n number of paths. In Ad-hoc network various protocols used for routing data. This survey based on study of protocols which essential for manet 28.83 Kb. 1